[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F C F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 144 79 0 0 138 0 0 0

N.S.

1 1.12 0.62 0.00 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.598 0.852 180.000 0.000 0.104 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 104 76 210 0 95 0 0 0

N.S.

1 1.06 0.78 2.14 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 0.408 0.086 3.615 0.000 0.097 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 142 73 233 0 101 0 0 0

N.S.

1 1.14 0.58 1.86 0.00 0.81 0.00 0.00 0.00

time (sec)

N/A 0.552 0.275 4.563 0.000 0.109 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 71 220 0 104 0 0 0

N.S.

1 1.08 0.71 2.20 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.436 0.227 3.905 0.000 0.120 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 108 63 207 0 91 0 0 0

N.S.

1 1.11 0.65 2.13 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.436 0.197 3.197 0.000 0.109 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 74 58 210 0 91 0 0 0

N.S.

1 1.03 0.81 2.92 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.341 0.190 2.570 0.000 0.096 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 74 51 187 0 79 0 0 58

N.S.

1 1.07 0.74 2.71 0.00 1.14 0.00 0.00 0.84

time (sec)

N/A 0.328 0.152 1.791 0.000 0.094 0.000 0.000 13.170

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 141 0 66 0 0 33

N.S.

1 1.00 1.00 3.44 0.00 1.61 0.00 0.00 0.80

time (sec)

N/A 0.248 0.016 1.725 0.000 0.095 0.000 0.000 0.137

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 54 0 60 0 0 33

N.S.

1 1.00 1.00 1.42 0.00 1.58 0.00 0.00 0.87

time (sec)

N/A 0.236 0.016 0.476 0.000 0.088 0.000 0.000 0.116

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 70 47 195 0 104 0 0 0

N.S.

1 1.08 0.72 3.00 0.00 1.60 0.00 0.00 0.00

time (sec)

N/A 0.353 0.063 1.904 0.000 0.095 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 76 48 238 0 103 0 0 0

N.S.

1 1.13 0.72 3.55 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 0.365 0.094 1.790 0.000 0.102 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 108 65 367 0 121 0 0 0

N.S.

1 1.11 0.67 3.78 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.467 0.231 2.418 0.000 0.099 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 112 63 267 0 115 0 0 0

N.S.

1 1.18 0.66 2.81 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.461 0.256 2.524 0.000 0.103 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 144 77 413 0 131 0 0 0

N.S.

1 1.15 0.62 3.30 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.580 0.447 3.185 0.000 0.100 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 142 76 236 0 101 0 0 0

N.S.

1 1.11 0.59 1.84 0.00 0.79 0.00 0.00 0.00

time (sec)

N/A 0.566 0.423 5.527 0.000 0.106 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 74 223 0 104 0 0 0

N.S.

1 1.08 0.74 2.23 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.443 0.279 4.592 0.000 0.107 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 66 210 0 91 0 0 0

N.S.

1 1.08 0.66 2.10 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 0.440 0.215 3.416 0.000 0.126 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 74 61 213 0 91 0 0 0

N.S.

1 1.03 0.85 2.96 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.338 0.188 2.853 0.000 0.105 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 74 54 190 0 79 0 0 0

N.S.

1 1.03 0.75 2.64 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.338 0.186 2.251 0.000 0.095 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 144 0 66 0 0 0

N.S.

1 1.00 1.00 3.51 0.00 1.61 0.00 0.00 0.00

time (sec)

N/A 0.246 0.018 2.027 0.000 0.097 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 144 0 60 0 0 0

N.S.

1 1.00 1.00 3.51 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.253 0.025 1.393 0.000 0.083 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 50 198 0 104 0 0 0

N.S.

1 1.00 0.74 2.91 0.00 1.53 0.00 0.00 0.00

time (sec)

N/A 0.320 0.032 1.742 0.000 0.099 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 74 51 241 0 103 0 0 0

N.S.

1 1.07 0.74 3.49 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.353 0.055 2.150 0.000 0.095 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 108 68 367 0 121 0 0 0

N.S.

1 1.10 0.69 3.74 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.467 0.133 2.653 0.000 0.098 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 112 66 398 0 115 0 0 0

N.S.

1 1.15 0.68 4.10 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.464 0.257 2.339 0.000 0.128 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 144 80 416 0 131 0 0 0

N.S.

1 1.14 0.63 3.30 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.581 0.346 3.118 0.000 0.107 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 142 76 236 0 101 0 0 0

N.S.

1 1.11 0.59 1.84 0.00 0.79 0.00 0.00 0.00

time (sec)

N/A 0.553 0.632 5.879 0.000 0.104 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 74 223 0 104 0 0 0

N.S.

1 1.08 0.74 2.23 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.436 0.515 4.423 0.000 0.104 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 66 210 0 91 0 0 0

N.S.

1 1.08 0.66 2.10 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 0.446 0.318 3.774 0.000 0.097 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 74 61 213 0 91 0 0 0

N.S.

1 1.03 0.85 2.96 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.341 0.229 2.813 0.000 0.100 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 74 54 190 0 79 0 0 0

N.S.

1 1.03 0.75 2.64 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.343 0.213 2.445 0.000 0.099 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 144 0 66 0 0 0

N.S.

1 1.00 1.00 3.51 0.00 1.61 0.00 0.00 0.00

time (sec)

N/A 0.256 0.018 1.914 0.000 0.100 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 38 144 0 60 0 0 0

N.S.

1 1.00 0.93 3.51 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.249 0.197 1.387 0.000 0.088 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 72 50 198 0 104 0 0 0

N.S.

1 1.06 0.74 2.91 0.00 1.53 0.00 0.00 0.00

time (sec)

N/A 0.340 0.040 1.742 0.000 0.089 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 51 241 0 103 0 0 0

N.S.

1 1.00 0.71 3.35 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.317 0.046 1.664 0.000 0.094 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 106 68 367 0 121 0 0 0

N.S.

1 1.09 0.70 3.78 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.441 0.100 2.785 0.000 0.095 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 112 66 398 0 115 0 0 0

N.S.

1 1.14 0.67 4.06 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.461 0.169 2.233 0.000 0.098 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 144 80 416 0 131 0 0 0

N.S.

1 1.15 0.64 3.33 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.590 0.394 3.171 0.000 0.108 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 104 68 367 0 121 0 0 0

N.S.

1 1.04 0.68 3.67 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.417 0.015 2.587 0.000 0.105 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 74 55 62 49 176 0 203 75

N.S.

1 0.76 0.56 0.63 0.50 1.80 0.00 2.07 0.77

time (sec)

N/A 0.285 0.244 3.099 0.393 0.343 0.000 2.076 14.994

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 48 45 40 42 39 0 71047 57

N.S.

1 0.69 0.64 0.57 0.60 0.56 0.00 1014.96 0.81

time (sec)

N/A 0.228 0.101 3.174 0.459 0.303 0.000 9.095 0.815

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 48 45 42 25 150 121 105 62

N.S.

1 0.76 0.71 0.67 0.40 2.38 1.92 1.67 0.98

time (sec)

N/A 0.213 0.153 3.069 0.388 0.342 32.912 1.465 14.574

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 29 13 28 60 31 44

N.S.

1 1.00 1.00 0.91 0.41 0.88 1.88 0.97 1.38

time (sec)

N/A 0.197 0.116 3.070 0.439 0.281 1.301 0.540 14.172

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 21 26 94 22 0 20

N.S.

1 1.00 1.00 0.88 1.08 3.92 0.92 0.00 0.83

time (sec)

N/A 0.148 0.030 2.269 0.337 0.295 0.615 0.000 0.109

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 40 65 113 0 0 0

N.S.

1 1.00 1.00 1.21 1.97 3.42 0.00 0.00 0.00

time (sec)

N/A 0.200 0.015 3.228 0.449 0.390 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 29 54 28 0 0 59

N.S.

1 1.00 1.00 0.91 1.69 0.88 0.00 0.00 1.84

time (sec)

N/A 0.218 0.024 2.915 0.436 0.267 0.000 0.000 14.109

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 57 52 84 661 201 0 0 0

N.S.

1 0.79 0.72 1.17 9.18 2.79 0.00 0.00 0.00

time (sec)

N/A 0.282 0.054 3.088 0.443 0.341 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 48 45 42 294 41 0 0 128

N.S.

1 0.69 0.64 0.60 4.20 0.59 0.00 0.00 1.83

time (sec)

N/A 0.245 0.098 2.960 0.447 0.305 0.000 0.000 16.116

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 83 66 103 1656 227 0 0 0

N.S.

1 0.78 0.62 0.96 15.48 2.12 0.00 0.00 0.00

time (sec)

N/A 0.380 0.126 2.977 0.483 0.317 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 75 55 63 53 183 0 204 76

N.S.

1 0.74 0.54 0.62 0.52 1.81 0.00 2.02 0.75

time (sec)

N/A 0.284 0.203 2.814 0.399 0.311 0.000 2.432 14.934

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 49 45 41 45 43 0 71048 58

N.S.

1 0.68 0.62 0.57 0.62 0.60 0.00 986.78 0.81

time (sec)

N/A 0.229 0.138 2.793 0.398 0.281 0.000 11.242 0.680

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 49 45 43 28 153 0 106 63

N.S.

1 0.75 0.69 0.66 0.43 2.35 0.00 1.63 0.97

time (sec)

N/A 0.212 0.147 3.043 0.395 0.391 0.000 1.198 14.497

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 32 30 13 29 46 0 29

N.S.

1 1.00 0.97 0.91 0.39 0.88 1.39 0.00 0.88

time (sec)

N/A 0.202 0.131 2.968 0.370 0.297 15.888 0.000 0.256

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 22 26 95 22 0 21

N.S.

1 1.00 1.00 0.88 1.04 3.80 0.88 0.00 0.84

time (sec)

N/A 0.154 0.042 2.402 0.368 0.327 9.452 0.000 13.482

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 33 41 68 114 0 0 0

N.S.

1 1.00 0.97 1.21 2.00 3.35 0.00 0.00 0.00

time (sec)

N/A 0.211 0.019 2.773 0.422 0.304 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 32 30 54 29 0 0 60

N.S.

1 1.00 0.97 0.91 1.64 0.88 0.00 0.00 1.82

time (sec)

N/A 0.221 0.024 2.845 0.403 0.282 0.000 0.000 13.914

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 58 52 85 691 204 0 0 0

N.S.

1 0.78 0.70 1.15 9.34 2.76 0.00 0.00 0.00

time (sec)

N/A 0.285 0.057 2.869 0.438 0.339 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 49 45 43 299 42 0 0 129

N.S.

1 0.68 0.62 0.60 4.15 0.58 0.00 0.00 1.79

time (sec)

N/A 0.232 0.071 2.771 0.414 0.283 0.000 0.000 15.349

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 84 67 104 1742 234 0 0 0

N.S.

1 0.76 0.61 0.95 15.84 2.13 0.00 0.00 0.00

time (sec)

N/A 0.367 0.103 3.033 0.481 0.391 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 63 57 55 77 61 0 0 73

N.S.

1 0.54 0.49 0.47 0.66 0.53 0.00 0.00 0.63

time (sec)

N/A 0.232 0.164 3.744 0.406 0.297 0.000 0.000 15.647

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 77 55 65 59 193 0 203 78

N.S.

1 0.72 0.51 0.61 0.55 1.80 0.00 1.90 0.73

time (sec)

N/A 0.285 0.257 2.881 0.403 0.299 0.000 2.478 15.097

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 51 45 43 49 47 0 71047 60

N.S.

1 0.67 0.59 0.57 0.64 0.62 0.00 934.83 0.79

time (sec)

N/A 0.224 0.152 2.898 0.430 0.276 0.000 8.371 0.669

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 51 45 45 32 159 0 0 40

N.S.

1 0.74 0.65 0.65 0.46 2.30 0.00 0.00 0.58

time (sec)

N/A 0.209 0.170 3.197 0.448 0.326 0.000 0.000 0.420

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 32 13 31 0 0 31

N.S.

1 1.00 0.91 0.91 0.37 0.89 0.00 0.00 0.89

time (sec)

N/A 0.197 0.145 2.743 0.412 0.345 0.000 0.000 14.423

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 24 24 26 97 0 0 23

N.S.

1 1.00 0.89 0.89 0.96 3.59 0.00 0.00 0.85

time (sec)

N/A 0.149 0.047 2.335 0.381 0.309 0.000 0.000 0.099

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 33 43 72 116 0 0 0

N.S.

1 1.00 0.92 1.19 2.00 3.22 0.00 0.00 0.00

time (sec)

N/A 0.213 0.026 2.652 0.408 0.310 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 32 54 31 0 0 62

N.S.

1 1.00 0.91 0.91 1.54 0.89 0.00 0.00 1.77

time (sec)

N/A 0.222 0.023 2.753 0.418 0.285 0.000 0.000 14.493

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 60 52 87 747 210 0 0 0

N.S.

1 0.77 0.67 1.12 9.58 2.69 0.00 0.00 0.00

time (sec)

N/A 0.291 0.065 2.814 0.399 0.313 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 51 45 45 311 46 0 0 131

N.S.

1 0.67 0.59 0.59 4.09 0.61 0.00 0.00 1.72

time (sec)

N/A 0.245 0.066 2.666 0.383 0.352 0.000 0.000 14.507

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 86 66 106 1914 244 0 0 0

N.S.

1 0.74 0.57 0.91 16.50 2.10 0.00 0.00 0.00

time (sec)

N/A 0.387 0.151 3.241 0.505 0.319 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 60 57 52 68 54 0 0 73

N.S.

1 0.56 0.53 0.49 0.64 0.50 0.00 0.00 0.68

time (sec)

N/A 0.226 0.118 2.912 0.412 0.277 0.000 0.000 14.695

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 74 55 62 49 182 0 0 78

N.S.

1 0.76 0.56 0.63 0.50 1.86 0.00 0.00 0.80

time (sec)

N/A 0.279 0.245 3.167 0.394 0.297 0.000 0.000 14.392

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 48 45 40 42 42 0 0 60

N.S.

1 0.69 0.64 0.57 0.60 0.60 0.00 0.00 0.86

time (sec)

N/A 0.226 0.087 2.980 0.401 0.303 0.000 0.000 0.691

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 48 45 42 25 157 0 0 65

N.S.

1 0.76 0.71 0.67 0.40 2.49 0.00 0.00 1.03

time (sec)

N/A 0.208 0.163 3.095 0.403 0.305 0.000 0.000 14.015

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 29 13 31 46 0 47

N.S.

1 1.00 1.00 0.91 0.41 0.97 1.44 0.00 1.47

time (sec)

N/A 0.200 0.123 2.837 0.378 0.284 18.278 0.000 14.623

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 21 26 97 22 0 37

N.S.

1 1.00 1.00 0.88 1.08 4.04 0.92 0.00 1.54

time (sec)

N/A 0.148 0.029 2.344 0.308 0.302 0.670 0.000 0.315

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 40 65 116 0 0 0

N.S.

1 1.00 1.00 1.21 1.97 3.52 0.00 0.00 0.00

time (sec)

N/A 0.208 0.017 2.879 0.394 0.311 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 29 59 31 0 0 62

N.S.

1 1.00 1.00 0.91 1.84 0.97 0.00 0.00 1.94

time (sec)

N/A 0.210 0.026 2.850 0.377 0.292 0.000 0.000 14.506

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 57 52 84 661 207 0 0 0

N.S.

1 0.79 0.72 1.17 9.18 2.88 0.00 0.00 0.00

time (sec)

N/A 0.280 0.040 3.315 0.414 0.298 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 48 45 42 294 44 0 0 131

N.S.

1 0.69 0.64 0.60 4.20 0.63 0.00 0.00 1.87

time (sec)

N/A 0.230 0.101 2.827 0.408 0.350 0.000 0.000 15.040

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 83 66 103 1656 233 0 0 0

N.S.

1 0.78 0.62 0.96 15.48 2.18 0.00 0.00 0.00

time (sec)

N/A 0.374 0.072 3.283 0.412 0.344 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 77 55 65 49 182 0 0 78

N.S.

1 0.72 0.51 0.61 0.46 1.70 0.00 0.00 0.73

time (sec)

N/A 0.282 0.411 2.847 0.413 0.329 0.000 0.000 15.224

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 51 45 43 42 42 0 0 60

N.S.

1 0.67 0.59 0.57 0.55 0.55 0.00 0.00 0.79

time (sec)

N/A 0.231 0.077 3.059 0.369 0.358 0.000 0.000 0.689

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 51 45 45 25 157 0 0 65

N.S.

1 0.74 0.65 0.65 0.36 2.28 0.00 0.00 0.94

time (sec)

N/A 0.213 0.185 2.905 0.397 0.300 0.000 0.000 14.867

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 32 13 31 0 0 47

N.S.

1 1.00 0.91 0.91 0.37 0.89 0.00 0.00 1.34

time (sec)

N/A 0.203 0.150 2.868 0.374 0.279 0.000 0.000 0.353

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 24 26 97 22 0 37

N.S.

1 1.00 1.00 0.89 0.96 3.59 0.81 0.00 1.37

time (sec)

N/A 0.152 0.036 2.253 0.325 0.411 10.108 0.000 0.296

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 33 43 65 116 0 0 0

N.S.

1 1.00 0.92 1.19 1.81 3.22 0.00 0.00 0.00

time (sec)

N/A 0.207 0.018 2.938 0.366 0.312 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 32 67 31 0 0 62

N.S.

1 1.00 0.91 0.91 1.91 0.89 0.00 0.00 1.77

time (sec)

N/A 0.215 0.019 2.985 0.394 0.298 0.000 0.000 14.559

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 60 52 87 670 207 0 0 0

N.S.

1 0.77 0.67 1.12 8.59 2.65 0.00 0.00 0.00

time (sec)

N/A 0.286 0.040 2.896 0.395 0.346 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 51 45 45 311 44 0 0 131

N.S.

1 0.67 0.59 0.59 4.09 0.58 0.00 0.00 1.72

time (sec)

N/A 0.234 0.049 3.241 0.413 0.266 0.000 0.000 16.408

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 86 66 106 1679 233 0 0 0

N.S.

1 0.74 0.57 0.91 14.47 2.01 0.00 0.00 0.00

time (sec)

N/A 0.385 0.055 2.937 0.418 0.332 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 77 58 65 49 182 0 0 78

N.S.

1 0.72 0.54 0.61 0.46 1.70 0.00 0.00 0.73

time (sec)

N/A 0.281 0.654 3.222 0.402 0.357 0.000 0.000 15.217

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 51 48 43 42 42 0 0 60

N.S.

1 0.67 0.63 0.57 0.55 0.55 0.00 0.00 0.79

time (sec)

N/A 0.230 0.082 2.762 0.378 0.313 0.000 0.000 0.678

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 51 48 45 25 157 0 0 65

N.S.

1 0.74 0.70 0.65 0.36 2.28 0.00 0.00 0.94

time (sec)

N/A 0.214 0.228 2.922 0.386 0.320 0.000 0.000 14.050

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 35 32 13 31 0 0 47

N.S.

1 1.00 1.00 0.91 0.37 0.89 0.00 0.00 1.34

time (sec)

N/A 0.210 0.161 2.867 0.388 0.273 0.000 0.000 13.901

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 24 26 97 0 0 37

N.S.

1 1.00 1.00 0.89 0.96 3.59 0.00 0.00 1.37

time (sec)

N/A 0.154 0.031 2.253 0.368 0.307 0.000 0.000 0.297

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 33 43 65 116 0 0 0

N.S.

1 1.00 0.92 1.19 1.81 3.22 0.00 0.00 0.00

time (sec)

N/A 0.211 0.029 2.756 0.384 0.333 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 32 67 31 0 0 87

N.S.

1 1.00 0.91 0.91 1.91 0.89 0.00 0.00 2.49

time (sec)

N/A 0.218 0.025 3.033 0.383 0.328 0.000 0.000 14.085

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 60 55 87 688 207 0 0 0

N.S.

1 0.77 0.71 1.12 8.82 2.65 0.00 0.00 0.00

time (sec)

N/A 0.290 0.057 3.194 0.452 0.302 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 51 45 45 343 44 0 0 131

N.S.

1 0.67 0.59 0.59 4.51 0.58 0.00 0.00 1.72

time (sec)

N/A 0.242 0.074 2.885 0.386 0.284 0.000 0.000 15.126

[next] [prev] [prev-tail] [front] [up]